1. Advances in database technology--EDBT '92 :
پدیدآورنده : A. Pirotte, C. Delobel, G. Gottlob, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
2. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
3. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
4. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
5. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده : Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
6. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
7. KI 2018 :
پدیدآورنده : Frank Trollmann, Anni-Yasmin Turhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.
رده :
Q334
8. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
9. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
10. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
11. Rewriting techniques and application
پدیدآورنده : / Leo Bachmair (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses
رده :
QA
,
267
,.
R48
,
2000
12. Rewriting techniques and applications :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
13. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
14. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
15. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
16. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
17. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
18. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : N. Dershowitz, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
355
19. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
20. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
پدیدآورنده : Vincent Van Oostrom )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
3091
